Abstract and Applied Analysis - PDFSEARCH.IO - Document Search Engine

Abstract and Applied Analysis
Results: 163

#	Item
21	Goanna — A Static Model Checker Ansgar Fehnker1 , Ralf Huuck1 , Patrick Jayet2? , Michel Lussenburg2∗ , and Felix Rauch1 1 2 Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-07-26 05:56:22 Theoretical computer science Formal methods Applied mathematics Program analysis Model checking Formal verification Static program analysis Abstract interpretation Red Lizard Software Model checkers Software NuSMV
22	An Analysis of Massively Distributed Evolutionary Algorithms Travis Desell, David P. Anderson, Malik Magdon-Ismail, Heidi Newberg, Boleslaw K. Szymanski and Carlos A. Varela Abstract— Computational science is placing n Add to Reading List Source URL: wcl.cs.rpi.edu Language: English - Date: 2015-01-22 12:32:45 Cybernetics Evolutionary algorithms Science Operations research Theoretical computer science Genetic algorithm Evolutionary computation Swarm intelligence Memetic algorithm Mathematical optimization Applied mathematics Mathematics
23	CCCG 2007, Ottawa, Ontario, August 20–22, 2007 On a geometric approach to the segment sum problem and its generalization Asish Mukhopadhyay Abstract Add to Reading List Source URL: cccg.ca Language: English - Date: 2008-10-28 21:30:20 Analysis of algorithms Time complexity Algorithm Selection algorithm SL Theoretical computer science Computational complexity theory Applied mathematics
24	Gossiping in a Multi-Channel Radio Network An Oblivious Approach to Coping with Malicious Interference (Extended Abstract) Shlomi Dolev1 , Seth Gilbert2 , Rachid Guerraoui3 , and Calvin Newport4 1 Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2007-09-28 06:21:17 Analysis of algorithms NP-complete problems Adversary model Gossip protocol Clique Time complexity Algorithm Theoretical computer science Applied mathematics Computational complexity theory
25	Faster Construction of Planar Two-centers David Eppstein∗ Abstract tical implementation. The method is complicated, and Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 1997-12-08 20:38:05 Analysis of algorithms Computational geometry Probabilistic complexity theory Randomized algorithm Algorithm Time complexity Binary search algorithm LP-type problem Closest pair of points problem Theoretical computer science Applied mathematics Mathematics
26	January 2013 MADALGO seminar by Stijn Koopal, Technische Universiteit Eindhoven An Experimental Evaluation of Various Approximate Watershed Algorithms Abstract: Modeling how water flows on landscapes, and therefore predi Add to Reading List Source URL: old-madalgo.au.dk Language: English - Date: 2013-01-18 05:27:39 Approximations Fluid dynamics Algorithm 3D modeling Applied mathematics Science Numerical analysis Aerodynamics Mathematics
27	Energy Aware Algorithm Design via Probabilistic Computing: From Algorithms and Models to Moore’s Law and Novel (Semiconductor)Devices ∗ [Extended Abstract] Add to Reading List Source URL: www.ece.rice.edu Language: English - Date: 2012-08-15 22:22:20 Probabilistic complexity theory Analysis of algorithms Randomized algorithm RL Algorithm NL PP Lateral computing Theoretical computer science Computational complexity theory Applied mathematics
28	Multi-Level Direction of Autonomous Creatures for Real-Time Virtual Environments Bruce M. Blumberg and Tinsley A. Galyean♣ MIT Media Lab ABSTRACT Add to Reading List Source URL: characters.media.mit.edu Language: English - Date: 2003-06-30 17:51:14 Motor control Behaviorism Human behavior Action selection Applied behavior analysis Behavior analysis of child development Behavior Mind Ethology
29	Numeric Bounds Analysis with Conflict-Driven Learning? Vijay D’Silva?? , Leopold Haller, Daniel Kroening, and Michael Tautschnig Computer Science Department, University of Oxford Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2012-07-25 13:39:19 Applied mathematics Electronic design automation Formal methods Logic in computer science NP-complete problems Valuation Boolean satisfiability problem Local consistency Abstract interpretation Theoretical computer science Constraint programming Mathematics
30	Assimilation of tourism satellite accounts and applied general equilibrium models to inform tourism policy analysis Riaan Rossouw1 and Melville Saayman2 Abstract Tourism policy analysis in South Africa has historically p Add to Reading List Source URL: www.iioa.org Language: English - Date: 2009-10-17 10:10:48 National accounts Science Economic model Input-output model General equilibrium theory Macroeconomic model Economic impact analysis JEL classification codes Social accounting matrix Macroeconomics Economics Economic theories

UPDATE